From 4198dd8519c3bce56f51b071e9ee0477fe6c3a26 Mon Sep 17 00:00:00 2001
From: John Stowers <john.stowers@gmail.com>
Date: Wed, 14 Jul 2010 20:48:54 +1200
Subject: [PATCH] Add gdk_display_is_closed

https://bugzilla.gnome.org/show_bug.cgi?id=624224
---
 docs/reference/gdk/gdk3-sections.txt |  1 +
 gdk/gdk.symbols                      |  1 +
 gdk/gdkdisplay.c                     | 16 ++++++++++++++++
 gdk/gdkdisplay.h                     |  3 ++-
 4 files changed, 20 insertions(+), 1 deletion(-)

diff --git a/docs/reference/gdk/gdk3-sections.txt b/docs/reference/gdk/gdk3-sections.txt
index f611c016f1..49114797bd 100644
--- a/docs/reference/gdk/gdk3-sections.txt
+++ b/docs/reference/gdk/gdk3-sections.txt
@@ -129,6 +129,7 @@ gdk_display_beep
 gdk_display_sync
 gdk_display_flush
 gdk_display_close
+gdk_display_is_closed
 gdk_display_list_devices
 gdk_display_get_event
 gdk_display_peek_event
diff --git a/gdk/gdk.symbols b/gdk/gdk.symbols
index 3e02b91919..a97f0672fa 100644
--- a/gdk/gdk.symbols
+++ b/gdk/gdk.symbols
@@ -415,6 +415,7 @@ gdk_input_set_extension_events
 #if IN_HEADER(__GDK_DISPLAY_H__)
 #if IN_FILE(__GDK_DISPLAY_C__)
 gdk_display_close
+gdk_display_is_closed
 gdk_display_get_event
 gdk_display_get_device_manager
 gdk_display_get_device_state
diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index 437ea9e1b3..e81c5f730a 100644
--- a/gdk/gdkdisplay.c
+++ b/gdk/gdkdisplay.c
@@ -338,6 +338,22 @@ gdk_display_close (GdkDisplay *display)
     }
 }
 
+/**
+ * gdk_display_is_closed:
+ * @display: a #GdkDisplay
+ *
+ * Returns %TRUE if the display is closed.
+ *
+ * Since: 2.22
+ */
+gboolean
+gdk_display_is_closed  (GdkDisplay  *display)
+{
+  g_return_val_if_fail (GDK_IS_DISPLAY (display), FALSE);
+
+  return display->closed;
+}
+
 /**
  * gdk_display_get_event:
  * @display: a #GdkDisplay
diff --git a/gdk/gdkdisplay.h b/gdk/gdkdisplay.h
index 55fcf3825d..1b11b696c7 100644
--- a/gdk/gdkdisplay.h
+++ b/gdk/gdkdisplay.h
@@ -211,7 +211,8 @@ void        gdk_display_beep               (GdkDisplay  *display);
 void        gdk_display_sync               (GdkDisplay  *display);
 void        gdk_display_flush              (GdkDisplay  *display);
 
-void	    gdk_display_close		   (GdkDisplay  *display);
+void	    gdk_display_close		       (GdkDisplay  *display);
+gboolean    gdk_display_is_closed          (GdkDisplay  *display);
 
 #ifndef GDK_DISABLE_DEPRECATED
 GList *     gdk_display_list_devices       (GdkDisplay  *display);
-- 
2.30.2